AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[S, N, A, mu, K*I, K*epsilon, gamma*I, E + I, gamma + epsilon, (gamma*r*beta + epsilon*r*beta)//gamma]
